Analytic performance models for single class and multiple class multithreaded software servers
نویسندگان
چکیده
Modern computer systems are based on a wide variety of software servers, such as web servers, application servers, database servers, and mail servers. The typical software architecture of such servers includes a set of processes or threads that serve requests submitted to the server. Requests that arrive at the server and find all threads busy, are placed in a queue. Threads that are busy executing requests compete for hardware resources (e.g., processors and I/O devices) at the machine where the software server runs. It is important to be able to model software servers in a way that takes into account both software contention—waiting for threads—and hardware contention—waiting for processors and I/O devices. This paper presents analytical models for a wide range of multithreaded software server architectures: a) single class (i.e., all requests have similar demands) with unlimited thread queue size, b) single class with limited thread queue size, c) multiclass with unlimited thread queue size, and d) multiclass with limited queue size. Numerical results are presented to illustrate the use of the models.
منابع مشابه
Workload Characterization Of Multithreaded Applications On Multicore Architectures
Multicore architectures are now available for a wide range of high performance applications, ranging from embedded systems to large scale servers deployed in cloud environments. Multicore architectures are usually subject to two conflicting goals: obtaining a full utilization of the cores while achieving given performance objectives, such as throughput, response time or reduced energy consumpti...
متن کاملPerformance evaluation of EPM and MPSIAC Models for determination of Erosion Status of Shahriari Watershed
Soil erosion is one of the most important environmental issues in developing countries, including Iran that there is inaccurate information about its amount and distribution. For this purpose, the accuracy and distribution of erosion classes obtained from EPM and MPSIAC models as compared to BLM as ground truth values were evaluated in Shahriari watershed. First, the required data and informati...
متن کاملJoint queue length distribution of multi-class, single-server queues with preemptive priorities
In this paper we analyze an MN/MN/1 queueing system with N customer classes and preemptive priorities between classes, by using matrix-analytic techniques. This leads to an exact method for the computation of the steady state joint queue length distribution. We also indicate how the method can be extended to models with multiple servers and other priority rules.
متن کاملParameterized Verification of Multithreaded Software Libraries
The growing popularity of multi-threading has led to a great number of software libraries that support access by multiple threads. We present Local/Global Finite State Machines (LGFSMs) as a model for a certain class of multithreaded libraries. We have developed a tool called Beacon that does parameterized model checking of LGFSMs . We demonstrate the expressiveness of LGFSMs as models, and the...
متن کاملParameterized Veri cation of Multithreaded Software Libraries
The growing popularity of multi-threading has led to a great number of software libraries that support access by multiple threads. We present Local/Global Finite State Machines (LGFSMs) as a model for a certain class of multithreaded libraries. We have developed a tool called Beacon that does parameterized model checking of LGFSMs. We demonstrate the expressiveness of LGFSMs as models, and the ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2006